| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m21b.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34P/3N5E5RS | |||
| Repositório | sid.inpe.br/mtc-m21b/2017/01.03.18.13 | |||
| Última Atualização | 2020:06.24.20.42.28 (UTC) administrator | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21b/2017/01.03.18.13.50 | |||
| Última Atualização dos Metadados | 2022:07.08.21.13.29 (UTC) administrator | |||
| Chave Secundária | INPE--PRE/ | |||
| Chave de Citação | SilvaSant:2016:TeSoVi | |||
| Título | Testes de software via model checking para sistemas espaciais críticos  | |||
| Ano | 2016 | |||
| Data de Acesso | 10 maio 2024 | |||
| Tipo Secundário | PRE CN | |||
| Número de Arquivos | 1 | |||
| Tamanho | 253 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Silva, Felipe Elias Costa da 2 Santiago Júnior, Valdivino Alexandre de | |||
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JJB5 | |||
| Grupo | 1 2 LAC-CTE-INPE-MCTI-GOV-BR | |||
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail do Autor | 1 2 valdivino.santiago@inpe.br | |||
| Nome do Evento | Seminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE) | |||
| Localização do Evento | São José dos Campos, SP | |||
| Data | 25-26 jul. | |||
| Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais | |||
| Cidade da Editora | São José dos Campos, SP | |||
| Histórico (UTC) | 2017-01-06 12:06:50 :: simone -> administrator :: 2016 2017-01-07 10:51:20 :: administrator -> simone :: 2016 2017-01-20 15:04:46 :: simone -> administrator :: 2016 2018-06-04 02:41:47 :: administrator -> simone :: 2016 2020-06-24 20:42:29 :: simone -> administrator :: 2016 2022-07-08 21:13:29 :: administrator -> simone :: 2016 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo de Versão | publisher | |||
| Resumo | Testes de software e Model Checking (método de Verificação Formal) são processos/métodos diferentes para assegurar a qualidade de sistemas de software. Para sistemas críticos, tais como satélites e aplicações de balões estratosféricos que o INPE desenvolve, a questão da qualidade é ainda mais relevante, pois um defeito no software pode ocasionar grandes perdas financeiras. Dado a busca exaustiva no espaço de estados que Model Checking realiza, pesquisadores vêm propondo gerar casos de testes de software por meio de Model Checking. Nesse contexto, o raciocínio é interpretar os contraexemplos gerados pelos Model Checkers (ferramentas de software que possuem uma realização da teoria de Model Checking) como casos de teste. O principal desafio é forçar o Model Checker a criar, sistematicamente, conjuntos de tais contraexemplos. Esse projeto de pesquisa possui três objetivos específicos: a.) realizar a geração de casos de teste de software a partir de Model Checking; b.) atualizar a metodologia e a ferramenta SOLIMVA com as soluções tecnológicas desenvolvidas no projeto; e c.) aplicar a nova versão da ferramenta e da metodologia SOLIMVA a software de sistema espacial crítico em desenvolvimento no INPE. | |||
| Área | COMP | |||
| Arranjo 1 | urlib.net > BDMCI > LABAC > Testes de software... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2016 > Testes de software... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://mtc-m21b.sid.inpe.br/ibi/8JMKD3MGP3W34P/3N5E5RS | |||
| URL dos dados zipados | http://mtc-m21b.sid.inpe.br/zip/8JMKD3MGP3W34P/3N5E5RS | |||
| Idioma | pt | |||
| Arquivo Alvo | Silva_testes.pdf | |||
| Grupo de Usuários | simone | |||
| Grupo de Leitores | administrator simone | |||
| Visibilidade | shown | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Repositório Espelho | sid.inpe.br/mtc-m21b/2013/09.26.14.25.22 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/478H8MB | |||
| Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.15.01.24 12 | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||
| 6. Notas | ||||
| Notas | Bolsa PIBIC/INPE/CNPq | |||
| Campos Vazios | archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||